Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la musique en Sarre

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Royaume-Uni166
Volker Sorge3
Royaume-Uni Sauf Volker Sorge" 164
Volker Sorge Sauf Royaume-Uni" 1
Royaume-Uni Et Volker Sorge 2
Royaume-Uni Ou Volker Sorge 167
Corpus2816
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000C09 Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Simon Colton [Royaume-Uni]Employing Theory Formation to Guide Proof Planning
000C93 Christoph Benzmüller [Allemagne] ; Manfred Kerber [Royaume-Uni] ; Mateja Jamnik [Royaume-Uni] ; Volker Sorge [Allemagne]Experiments with an Agent-Oriented Reasoning System
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Sun Jul 15 18:16:09 2018. Site generation: Tue Mar 5 19:21:25 2024